Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
481	Certifying and reasoning on cost annotations of functional programs Roberto M. Amadio1 and Yann R´egis-Gianas1,2 Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2012-05-18 04:03:57 Functional analysis Computability theory Lambda calculus Theoretical computer science Operator Continuation-passing style Combinatory logic Mathematics Software engineering Declarative programming
482	Lecture Notes on the Lambda Calculus Peter Selinger Department of Mathematics and Statistics Add to Reading List Source URL: www.mscs.dal.ca Language: English - Date: 2013-09-21 21:21:50 Mathematics Logic in computer science Theory of computation Type theory Computability theory Simply typed lambda calculus Combinatory logic Typed lambda calculus Normalization property Theoretical computer science Lambda calculus Mathematical logic
483	Defining the Turing Jump Richard A. Shore∗ Theodore A. Slaman† Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 1999-11-30 17:17:44 Logic Metalogic Model theory Constructible universe Theory of computation Forcing Μ operator Primitive recursive function Mathematical logic Mathematics Computability theory
484	Association for Symbolic Logic Business Office: Box 742, Vassar College 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2011-04-18 09:16:27 Non-classical logic American Sign Language Association for Symbolic Logic Workshop on Logic Language Information and Computation Computability theory Modal logic Greg Hjorth Mereology Logic programming Logic Mathematical logic Philosophical logic
485	Theory and Applications of Categories, Vol. 10, No. 12, 2002, pp. 248–300. SOBER SPACES AND CONTINUATIONS Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2002-07-30 13:36:46 Logic Functions and mappings Formal methods Models of computation Lambda calculus Theoretical computer science Symbol Interpretation Function Mathematics Mathematical logic Computability theory
486	Author manuscript, published in "Lecture notes in computer science (2011)" DOI : [removed][removed]9_26 Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2011-12-12 09:47:02 Lambda calculus Computability theory Theoretical computer science ATS Envelope Monad Caml Normalisation by evaluation Combinatory logic Software engineering Mathematics Computing
487	ZU064-05-FPR arrows Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-09-16 05:19:11 Computability theory Lambda calculus Arrow Quiver Function Natural deduction Normalisation by evaluation Mathematics Mathematical logic Theoretical computer science
488	TYPE SYSTEMS FOR POLYNOMIAL-TIME COMPUTATION Add to Reading List Source URL: www.lfcs.inf.ed.ac.uk Language: English - Date: 2000-08-18 13:13:43 Mathematical logic Theory of computation Recursion Functions and mappings Lambda calculus Primitive recursive function Computable function Function Fold Theoretical computer science Mathematics Computability theory
489	Introduction to Lambda Calculus Henk Barendregt Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-04-12 10:42:50 Predicate logic Computability theory Formal methods Models of computation Combinatory logic Free variables and bound variables Function Variable First-order logic Mathematics Mathematical logic Lambda calculus
490	Real PCF extended with ∃ is universal (Extended Abstract∗) Mart´ın H¨otzel Escard´o Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-03-06 21:46:10 Mathematical logic Theory of computation Functions and mappings Formal methods Models of computation Function Computable number Sheaf Lambda calculus Mathematics Computability theory Theoretical computer science

UPDATE